<?php
    
    $config['menu_order'] = 'Triton, Proteus, Nereid';

?>